<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<!-- NewPage -->
<html lang="en">
<head>

<title>randoop.condition (randoop 4.1.0 API)</title>

<link rel="stylesheet" type="text/css" href="../../javadocstyle.css" title="Style">
<script type="text/javascript" src="../../script.js"></script>
</head>
<body>
<script type="text/javascript"><!--
    try {
        if (location.href.indexOf('is-external=true') == -1) {
            parent.document.title="randoop.condition (randoop 4.1.0 API)";
        }
    }
    catch(err) {
    }
//-->
</script>
<noscript>
<div>JavaScript is disabled on your browser.</div>
</noscript>
<!-- ========= START OF TOP NAVBAR ======= -->
<div class="topNav"><a name="navbar.top">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.top" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.top.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li class="navBarCell1Rev">Package</li>
<li>Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/compile/package-summary.html">Prev&nbsp;Package</a></li>
<li><a href="../../randoop/condition/specification/package-summary.html">Next&nbsp;Package</a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/condition/package-summary.html" target="_top">Frames</a></li>
<li><a href="package-summary.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_top">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_top");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<a name="skip.navbar.top">
<!--   -->
</a></div>
<!-- ========= END OF TOP NAVBAR ========= -->
<div class="header">
<h1 title="Package" class="title">Package&nbsp;randoop.condition</h1>
</div>
<div class="contentContainer">
<ul class="blockList">
<li class="blockList">
<table class="typeSummary" border="0" cellpadding="3" cellspacing="0" summary="Class Summary table, listing classes, and an explanation">
<caption><span>Class Summary</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Class</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tbody>
<tr class="altColor">
<td class="colFirst"><a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition">ExecutableBooleanExpression</a></td>
<td class="colLast">
<div class="block">A <code>ExecutableBooleanExpression</code> represents a boolean Java expression, and allows evaluation
 on argument values.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition">ExecutableSpecification</a></td>
<td class="colLast">
<div class="block">The executable version of an <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a>.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../randoop/condition/ExpectedOutcomeTable.html" title="class in randoop.condition">ExpectedOutcomeTable</a></td>
<td class="colLast">
<div class="block">An ExpectedOutcomeTable collects all the permitted outcomes for a set of methods (where the
 methods are all in an overriding relationship) and a set of prestate values.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../randoop/condition/GuardPropertyPair.html" title="class in randoop.condition">GuardPropertyPair</a></td>
<td class="colLast">
<div class="block">Represents a pair of an executable guard and an executable property.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../randoop/condition/GuardThrowsPair.html" title="class in randoop.condition">GuardThrowsPair</a></td>
<td class="colLast">
<div class="block">Represents a pair of a an executable guard expression and an executable throws clause.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../randoop/condition/SpecificationCollection.html" title="class in randoop.condition">SpecificationCollection</a></td>
<td class="colLast">
<div class="block">A collection of <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> objects, indexed by <a href="https://docs.oracle.com/javase/8/docs/api/java/lang/reflect/AccessibleObject.html?is-external=true" title="class or interface in java.lang.reflect"><code>AccessibleObject</code></a>
 reflection objects.</div>
</td>
</tr>
<tr class="altColor">
<td class="colFirst"><a href="../../randoop/condition/SpecificationTranslator.html" title="class in randoop.condition">SpecificationTranslator</a></td>
<td class="colLast">
<div class="block">Method <a href="../../randoop/condition/SpecificationTranslator.html#createExecutableSpecification-java.lang.reflect.AccessibleObject-randoop.condition.specification.OperationSpecification-randoop.compile.SequenceCompiler-"><code>SpecificationTranslator.createExecutableSpecification(java.lang.reflect.AccessibleObject, randoop.condition.specification.OperationSpecification, randoop.compile.SequenceCompiler)</code></a> translates an <a href="../../randoop/condition/specification/OperationSpecification.html" title="class in randoop.condition.specification"><code>OperationSpecification</code></a> object
 (which has preconditions, postconditions, and throws conditions) to its executable version,
 <a href="../../randoop/condition/ExecutableSpecification.html" title="class in randoop.condition"><code>ExecutableSpecification</code></a>.</div>
</td>
</tr>
<tr class="rowColor">
<td class="colFirst"><a href="../../randoop/condition/ThrowsClause.html" title="class in randoop.condition">ThrowsClause</a></td>
<td class="colLast">
<div class="block">Represents an expected exception in a throws-condition.</div>
</td>
</tr>
</tbody>
</table>
</li>
<li class="blockList">
<table class="typeSummary" border="0" cellpadding="3" cellspacing="0" summary="Error Summary table, listing errors, and an explanation">
<caption><span>Error Summary</span><span class="tabEnd">&nbsp;</span></caption>
<tr>
<th class="colFirst" scope="col">Error</th>
<th class="colLast" scope="col">Description</th>
</tr>
<tbody>
<tr class="altColor">
<td class="colFirst"><a href="../../randoop/condition/RandoopSpecificationError.html" title="class in randoop.condition">RandoopSpecificationError</a></td>
<td class="colLast">
<div class="block">Indicates a problem creating <a href="../../randoop/condition/ExecutableBooleanExpression.html" title="class in randoop.condition"><code>ExecutableBooleanExpression</code></a> (usually a syntax error in the
 condition text) or an exception thrown when evaluating it.</div>
</td>
</tr>
</tbody>
</table>
</li>
</ul>
</div>
<!-- ======= START OF BOTTOM NAVBAR ====== -->
<div class="bottomNav"><a name="navbar.bottom">
<!--   -->
</a>
<div class="skipNav"><a href="#skip.navbar.bottom" title="Skip navigation links">Skip navigation links</a></div>
<a name="navbar.bottom.firstrow">
<!--   -->
</a>
<ul class="navList" title="Navigation">
<li><a href="../../overview-summary.html">Overview</a></li>
<li class="navBarCell1Rev">Package</li>
<li>Class</li>
<li><a href="package-tree.html">Tree</a></li>
<li><a href="../../deprecated-list.html">Deprecated</a></li>
<li><a href="../../index-all.html">Index</a></li>
<li><a href="../../help-doc.html">Help</a></li>
</ul>
</div>
<div class="subNav">
<ul class="navList">
<li><a href="../../randoop/compile/package-summary.html">Prev&nbsp;Package</a></li>
<li><a href="../../randoop/condition/specification/package-summary.html">Next&nbsp;Package</a></li>
</ul>
<ul class="navList">
<li><a href="../../index.html?randoop/condition/package-summary.html" target="_top">Frames</a></li>
<li><a href="package-summary.html" target="_top">No&nbsp;Frames</a></li>
</ul>
<ul class="navList" id="allclasses_navbar_bottom">
<li><a href="../../allclasses-noframe.html">All&nbsp;Classes</a></li>
</ul>
<div>
<script type="text/javascript"><!--
  allClassesLink = document.getElementById("allclasses_navbar_bottom");
  if(window==top) {
    allClassesLink.style.display = "block";
  }
  else {
    allClassesLink.style.display = "none";
  }
  //-->
</script>
</div>
<a name="skip.navbar.bottom">
<!--   -->
</a></div>
<!-- ======== END OF BOTTOM NAVBAR ======= -->
</body>
</html>
